dsh-ultramath: UltraMath Mathematical Modeling Contest Multi-Agent Solver Plugin
dsh-ultramath is a multi-agent solving plugin for DeepSeek Harness designed for mathematical modeling competitions, developed by Andiii208 and licensed under the MIT License. Through native Agent presets and skill packs, this plugin standardizes the mathematical modeling solution workflow into seven stages—"problem reading, framework, derivation, coding, verification, paper writing, and review"—thereby solving the fragmentation issue of single-turn prompt processes. Core features include providing the UltraMath master controller and four single-stage role presets (e.g., Mathematician, Engineer); integrating a built-in library of 33 models and paper templates to enable self-contained installation and idempotent local data synchronization. It establishes strict quality gates covering seven categories of controls: independent verification, review blockers, blind review mechanisms, and academic integrity, where any violation results in an immediate veto. Furthermore, it introduces a "digital freeze" mechanism to ensure the consistency between paper data and code.
Read MoreMathModelingAgent: An Evidence-Driven Verification Plugin for Mathematical Modeling and Competition Problems
MathModelingAgent is a DSH plugin designed for open-ended mathematical modeling, prediction, optimization, and other tasks, addressing the issue where code runs correctly but conclusions may still be erroneous. Its core mechanism registers key conclusions as Claims, which are then verified through Obligations and Evidence, explicitly distinguishing among three states: PASS, FAIL, and INCONCLUSIVE, with particular emphasis on retaining the INCONCLUSIVE state when evidence is insufficient to avoid forcing a definitive conclusion. The plugin provides two Skills: math-modeling-agent for advancing the model, and math-modeling-audit for independent auditing without modifying the original text. It supports optional tools such as Python, Lean, and Wolfram for numerical computation.
Read More